Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Relational dual tableaux for interval temporal logics ★

Рік:
2006
Мова:
english
Файл:
PDF, 251 KB
english, 2006
2

Boolean algebras arising from information systems

Рік:
2004
Мова:
english
Файл:
PDF, 310 KB
english, 2004
4

Equational Reasoning in Non-Classical Logics

Рік:
1998
Мова:
english
Файл:
PDF, 1.79 MB
english, 1998
5

On Modalities and Quantifiers

Рік:
2017
Мова:
english
Файл:
PDF, 400 KB
english, 2017
6

Representation of nondeterministic information

Рік:
1984
Мова:
english
Файл:
PDF, 1.19 MB
english, 1984
7

Helena Rasiowa

Рік:
1995
Мова:
english
Файл:
PDF, 97 KB
english, 1995
8

A hierarchy of modal logics with relative accessibility relations

Рік:
1999
Мова:
english
Файл:
PDF, 1.16 MB
english, 1999
9

Relational proof systems for spatial reasoning ★

Рік:
2006
Мова:
english
Файл:
PDF, 196 KB
english, 2006
11

Logics of Complementarity in Information Systems

Рік:
2000
Мова:
english
Файл:
PDF, 296 KB
english, 2000
12

MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS

Рік:
1984
Мова:
english
Файл:
PDF, 527 KB
english, 1984
13

Logic For Reasoning About Knowledge

Рік:
1989
Мова:
english
Файл:
PDF, 719 KB
english, 1989
14

Expressive power of knowledge representation systems

Рік:
1984
Мова:
english
Файл:
PDF, 700 KB
english, 1984
15

Kripke semantics for knowledge representation logics

Рік:
1990
Мова:
english
Файл:
PDF, 1.04 MB
english, 1990
16

Discrete Dualities for Double Stone Algebras

Рік:
2011
Мова:
english
Файл:
PDF, 1.60 MB
english, 2011
17

Discrete dualities for some algebras with relations

Рік:
2014
Мова:
english
Файл:
PDF, 283 KB
english, 2014
18

A discrete duality between apartness algebras and apartness frames

Рік:
2008
Мова:
english
Файл:
PDF, 160 KB
english, 2008
19

Foreword

Рік:
2006
Мова:
english
Файл:
PDF, 20 KB
english, 2006
21

Dynamic logic with program specifications and its relational proof system

Рік:
1993
Мова:
english
Файл:
PDF, 1.11 MB
english, 1993
23

Relational proof system for relevant logics

Рік:
1992
Мова:
english
Файл:
PDF, 932 KB
english, 1992
24

Obituary—Helena Rasiowa

Рік:
1994
Мова:
english
Файл:
PDF, 74 KB
english, 1994
25

Foreword

Рік:
1998
Мова:
english
Файл:
PDF, 269 KB
english, 1998
26

Obituary Zdzislaw Pawlak (1926–2006)

Рік:
2007
Мова:
english
Файл:
PDF, 195 KB
english, 2007
27

Generalized Galois Logics. Relational Semantics of Nonclassical Logicsby Katalin Bimbó; Michael Dunn

Рік:
2011
Мова:
english
Файл:
PDF, 543 KB
english, 2011
28

Mereotopologies with Predicates of Actual Existence and Actual Contact

Рік:
2017
Мова:
english
Файл:
PDF, 243 KB
english, 2017
31

Relational attribute systems

Рік:
2001
Мова:
english
Файл:
PDF, 438 KB
english, 2001
32

Semantic analysis of inductive reasoning

Рік:
1986
Мова:
english
Файл:
PDF, 579 KB
english, 1986
33

Logical analysis of demonic nondeterministic programs

Рік:
1996
Мова:
english
Файл:
PDF, 1.62 MB
english, 1996
34

Algebras for Galois-style connections and their discrete duality

Рік:
2010
Мова:
english
Файл:
PDF, 241 KB
english, 2010
35

Dual tableau for monoidal triangular norm logic MTL

Рік:
2011
Мова:
english
Файл:
PDF, 546 KB
english, 2011
36

Logical aspects of learning concepts

Рік:
1988
Мова:
english
Файл:
PDF, 647 KB
english, 1988
37

Editorial

Рік:
2004
Мова:
english
Файл:
PDF, 134 KB
english, 2004
38

Representation theorems for some fuzzy logics based on residuated non-distributive lattices

Рік:
2008
Мова:
english
Файл:
PDF, 213 KB
english, 2008
43

Potent Trypsin-resistant hGH-RH Analogues

Рік:
2004
Мова:
english
Файл:
PDF, 89 KB
english, 2004
44

Verisimilitude based on concept analysis

Рік:
1990
Мова:
english
Файл:
PDF, 876 KB
english, 1990
45

Logic of nondeterministic information

Рік:
1985
Мова:
english
Файл:
PDF, 585 KB
english, 1985
46

Representation of temporal information

Рік:
1982
Мова:
english
Файл:
PDF, 484 KB
english, 1982
47

Books received

Рік:
1983
Мова:
english
Файл:
PDF, 652 KB
english, 1983
48

Towards reasoning about Hoare relations

Рік:
1994
Мова:
english
Файл:
PDF, 1.58 MB
english, 1994
49

Reviews

Рік:
1974
Мова:
english
Файл:
PDF, 1.14 MB
english, 1974
50

Treshold logic

Рік:
1974
Мова:
english
Файл:
PDF, 321 KB
english, 1974